void signalHandler(int);
